#include <linux/tty.h>
	
void tty_init() {
    con_init();
}

void tty_write(unsigned channel, char* buf) {
    console_print(buf);
}
void tty_write00(unsigned char * vram, int xsize, int ysize, int x, int y, unsigned char color, char* buf) {
    console_print00(vram, xsize, ysize, x, y, color, buf);
}
